n (set theory) The set of all possible pairs of elements whose components are members of two sets. Notation: X \times Y = \{(x,y)\|x\in X \land y\in Y\}.